Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Présentation de l'équipe de recherche EURECA

Identifieur interne : 00E677 ( Main/Exploration ); précédent : 00E676; suivant : 00E678

Présentation de l'équipe de recherche EURECA

Auteurs : J.-P. Jouannaud ; Pierre Lescanne [France] ; J. Mzali ; J.-L. Rémy

Source :

RBID : CRIN:jouannaud86f

English descriptors


Affiliations:


Links toward previous steps (curation, corpus...)


Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="fr" wicri:score="-245">Présentation de l'équipe de recherche EURECA</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:jouannaud86f</idno>
<date when="1986" year="1986">1986</date>
<idno type="wicri:Area/Crin/Corpus">000371</idno>
<idno type="wicri:Area/Crin/Curation">000371</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000371</idno>
<idno type="wicri:Area/Crin/Checkpoint">004182</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">004182</idno>
<idno type="wicri:Area/Main/Merge">00EF65</idno>
<idno type="wicri:Area/Main/Curation">00E677</idno>
<idno type="wicri:Area/Main/Exploration">00E677</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="fr">Présentation de l'équipe de recherche EURECA</title>
<author>
<name sortKey="Jouannaud, J P" sort="Jouannaud, J P" uniqKey="Jouannaud J" first="J.-P." last="Jouannaud">J.-P. Jouannaud</name>
</author>
<author>
<name sortKey="Lescanne, P" sort="Lescanne, P" uniqKey="Lescanne P" first="P." last="Lescanne">Pierre Lescanne</name>
<affiliation>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="laboratoire" n="5">Laboratoire lorrain de recherche en informatique et ses applications</orgName>
<orgName type="university">Université de Lorraine</orgName>
<orgName type="institution">Centre national de la recherche scientifique</orgName>
<orgName type="institution">Institut national de recherche en informatique et en automatique</orgName>
</affiliation>
</author>
<author>
<name sortKey="Mzali, J" sort="Mzali, J" uniqKey="Mzali J" first="J." last="Mzali">J. Mzali</name>
</author>
<author>
<name sortKey="Remy, J L" sort="Remy, J L" uniqKey="Remy J" first="J.-L." last="Rémy">J.-L. Rémy</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>completion</term>
<term>conditional rewriting</term>
<term>rewriting systems</term>
<term>termination</term>
<term>unification</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
</TEI>
<affiliations>
<list>
<country>
<li>France</li>
</country>
<region>
<li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement>
<li>Nancy</li>
</settlement>
<orgName>
<li>Centre national de la recherche scientifique</li>
<li>Institut national de recherche en informatique et en automatique</li>
<li>Laboratoire lorrain de recherche en informatique et ses applications</li>
<li>Université de Lorraine</li>
</orgName>
</list>
<tree>
<noCountry>
<name sortKey="Jouannaud, J P" sort="Jouannaud, J P" uniqKey="Jouannaud J" first="J.-P." last="Jouannaud">J.-P. Jouannaud</name>
<name sortKey="Mzali, J" sort="Mzali, J" uniqKey="Mzali J" first="J." last="Mzali">J. Mzali</name>
<name sortKey="Remy, J L" sort="Remy, J L" uniqKey="Remy J" first="J.-L." last="Rémy">J.-L. Rémy</name>
</noCountry>
<country name="France">
<region name="Grand Est">
<name sortKey="Lescanne, P" sort="Lescanne, P" uniqKey="Lescanne P" first="P." last="Lescanne">Pierre Lescanne</name>
</region>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00E677 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00E677 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     CRIN:jouannaud86f
   |texte=   Présentation de l'équipe de recherche EURECA
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022